resolution theorem
英 [ˌrezəˈluːʃn ˈθɪərəm]
美 [ˌrezəˈluːʃn ˈθiːərəm]
网络 归结定理
双语例句
- A resolution theorem is presented of the special solution of linear differential equation of constant coefficient group, and with proof.
一般的求解微分方程组是比较困难的。在特殊情况下，给出了求解常系数线性微分方程组的方法。 - Because the first order logic can characterize the computational semantics of a software component, it has become an important research direction in software engineering domain to use first order logic to represent a component and to use resolution based automatic theorem proving technology to retrieve it.
由于一阶逻辑能够描述软件构件的计算语义，因此用一阶逻辑表示构件及用基于归结原理的自动定理证明技术检索构件的研究在软件工程领域得到了足够的重视。 - It discusses carefully the basic concepts and inference rule of the resolution principle. According to the discussion, resolution method is used to prove a mathematical theorem through a example.
对归结原理的基本概念与推理规则进行了讨论，并在此基础上通过实例探讨了归结推理方法在数学定理证明中的应用。 - Resolution of range and velocity ambiguities is the most important problem in medium PRF ( MPRF) pulse doppler radar. The theory of the ambiguity resolution algorithms is Chinese Remainder Theorem.
解距离模糊和解速度模糊是中重复频率脉冲多普勒雷达中需要解决的重要问题，其算法的依据都是中国余数定理。 - A study is made on the modeling of the extension principle, based on the modeling of resolution theorem. The neural network representation of extension principle finally obtained lays the foundation for the combination of neural network and fuzzy systems.
在分解定理建模的基础上，对扩张原理建模进行研究，最后得出了扩张原理的网络表示，为神经网络和模糊系统的结合奠定了基础。 - We bring forward some problems with regard to automated theorem proving based on resolution principle and program extracting. The settlement of these problems will make program synthesis and automated theorem proving applied.
本文提出了基于归结原理实现定理自动证明和程序抽取方面有待解决的问题，这些问题的解决将使得定理机器证明和程序综合从理论走向实用。 - Resolution Principle is an important means of automatic proving of theorem.
归结原理是定理自动证明的重要工具。 - Based on resolution of interval numbers and fuzzy resolution theorem, we develop a method of solving the structural fuzzy finite element equilibrium equations.
利用区间数的分解和模糊分解定理，研究了一种结构模糊有限元平衡方程的求解方法。 - A Rudimentary Research: Resolution Principle and Its Application in Mathematical Theorem Proving
归结原理及其在数学定理证明中的应用 - Synthetic aperture radar ( SAR) is an active microwave remote sensor, which has the high azimuth resolution by using the theorem of synthetic aperture. Because of its widely application in military and civilian Synthetic Aperture Radar has received more and more recognition.
合成孔径雷达（SAR）是主动式微波成像雷达，是利用信号处理技术以小的真实孔径天线达到高分辨率成像的雷达系统，由于其在民用和军事方面的应用，越来越受到广泛的关注。 - The resolving methods coming from resolution theorem proving, to STRIPS methods, and converting planning problems to satisfiability problems and exploiting Model checking methods to solve planning problems.
同时，智能规划的求解方法由最初的用归结定理证明的方法求解规划，扩展为用STRIPS方法求解规划问题，及将规划问题转化为可满足问题来求解和采用模型检测的方法来求解规划问题。